白盒测试是根据程序内部的( )设计并执行测试用例的测试方法。